Conference paper information

Dynamic term-modal logic for epistemic social network dynamics

A. Occhipinti Liberman, R.K. Rendsvig

7th International Workshop on Logic, Rationality, and Interaction - LORI 2019, Chongqing (China). 18-21 October 2019

Summary:

Logics for social networks have been studied in recent literature. This paper presents a framework based on dynamic term-modal logic ( $D T M L$ ), a quantified variant of dynamic epistemic logic ( $D E L$ ). In contrast with $D E L$ where it is commonly known to whom agent names refer, $D T M L$ can represent dynamics with uncertainty about agent identity. We exemplify dynamics where such uncertainty and de re/de dicto distinctions are key to social network epistemics. Technically, we show that $D T M L$ semantics can represent a popular class of hybrid logic epistemic social network models. We also show that $D T M L$ can encode previously discussed dynamics for which finding a complete logic was left open. As complete reduction axioms systems exist for $D T M L$ , this yields a complete system for the dynamics in question.

DOI: https://doi.org/10.1007/978-3-662-60292-8_13

Published in Logic, Rationality, and Interaction, pp: 168-182, ISBN: 978-3-662-60291-1

Publication date: 2019-09-15.

Citation:
A. Occhipinti Liberman, R.K. Rendsvig, Dynamic term-modal logic for epistemic social network dynamics, 7th International Workshop on Logic, Rationality, and Interaction - LORI 2019, Chongqing (China). 18-21 October 2019. In: Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings, ISBN: 978-3-662-60291-1

Download this paper